// Character definitions for common graphical characters.
var Char =
{
	FACE_EMPTY: 1,
	FACE_FILLED: 2,
	NOTE: 13,
	DOUBLE_NOTE: 14,
	POINTER_RIGHT: 16,
	POINTER_LEFT: 17,
	ARROW_UP: 24,
	ARROW_DOWN: 25,
	ARROW_RIGHT: 26,
	ARROW_LEFT: 27,
	POINTER_UP: 30,
	POINTER_DOWN: 31,
	DOWN_EXCLAMATION: 173,
	DBAR_NSW: 185,
	DBAR_NS: 186,
	DBAR_SW: 187,
	DBAR_NW: 188,
	DBAR_NE: 200,
	DBAR_ES: 201,
	DBAR_NEW: 202,
	DBAR_ESW: 203,
	DBAR_NES: 204,
	DBAR_EW: 205,
	DBAR_NESW: 206
};
